perm filename CAL[1,JMC]1 blob
sn#559191 filedate 1981-01-28 generic text, type C, neo UTF8
COMMENT ā VALID 00007 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 1976
C00009 00003 1977
C00023 00004 1978
C00038 00005 1979
C00051 00006 01-04 Friday 2pm Creary
C00069 00007 1981
C00073 ENDMK
Cā;
1976
03-23 2pm Diana Tillinghast
03-24 2pm Suppes registrar
03-25 teach in preliminary meeting chez Finston
03-30 1pm 730 Welch Rd., Echo cardiogram
03-31 computer meeting, Franklin
04-01 Mazda
04-05 11:45 Waltuch
04-07 11:15 Edwards
9:30AM Bill Chester
AA-loc Co. Stevenson, 6pm
04-09 Science Fiction Writers, Ashley Grayson, 714 979-2460
213 885-9047 David Gerrold
04-12 Martin Davis
04-13 9 am, Faculty meeting, Polya 204
CS224 1:15pm tues. 300 Earth Sciences
2:30pm Comprehensive Comm., Polya 204
Hyversen 4pm 493-5000 x5681 VA Hospital
04-20 1:30 tenured faculty
04-22 3pm Debate with Dean Abrahamson. SIPI.
04-27 9 am, Faculty meeting, Polya 204
04-30 Gell-Mann dinner, Amer. Acad. Arts&Sci. CASBS, 6:45
05-03 Libertarians
05-04 Slavic languages oral 2:15, 62M inner quad
05-06 Lawrence Hall of science
05-07 Durand 450, 11am, LOTS
05-08 Panofsky reception
05-15 Reed graduation, wedding reception
05-16 Reed
05-18 III Boston and 19th too
05-20 Thursday SIgplan lisp after 15 years, Jim Warren
05-25 Data base workshp at LBL, also 5-26, see feb.msg
05-28 Kahn 3pm
06-01 1pm Slagle here
Piano mover presentation, Panama & Duane 2:15
3:30 Franklin and Dickens chez Franklin
06-07 evening Las Vegas
06-10 11am Massy
06-14 2:30 Massy
11am Phil Hilts, 202 333-6608
06-17 1pm Baratz
06-22 2pm-3:30 Space war bldg. 10.
06-23 Gloria Guth 3pm here 324-0291
06-24 iii 10am thursday
06-25 11am Shaw, personnel and space
06-28 11:30 Dickens, SLAC
06-29 4pm Lots
07-02 11am Massy LOTS
07-12 2:15 Cartwright orals, Monday Serra House
07-26 Schonhage, 8pm Go
07-27 2pm Finkelstein, Radio Free Europe
08-09 Russell, Carlstrom, Carlson
08-12 Bruce Redke, 4:00, TI Salesman
08-12 6:30 Dinner at Raphael's
08-16 5pm, Miller
08-17 III Technical Committee, L. A.
08-18 III Board
09-08 Chung, 493-2279, micro-processor designer
09-13 3pm Furukawa of SRI and ETL
09-20 11:45, Warren and Albrecht, PCC, 1010 Doyle,Menlo, Warren 851-7075
09-23 2pm Thurs. Huskey
09-24 10am Friday Dick Martin
09-27 9am Monday President's Advisory Committee on CS - agenda meeting
Provost Office, Building 10
09-28 10am Serra. Thomas exam
3pm CSD faculty Polya 204
4pm, Miller
09-30 12:20 Franklin's office, Franklin and Adams
10-01 III
10-04 III, L.A.
10-06 9 am, Massy's office, Massy and Dickens
10-07 thurs 2:15 seminar, 204 polya
10-08 Comprehensive committee, 4:00pm, Polya 204
10-12 11am, Encina 100, Abrams report
2pm Polya 204, Department meeting
LOTS Advisory committee, 4:15pm, probably Durand 450
10-15 Fri 11am, Jan Schnittger, 4287
10-19 Massy 1:30
10-24 Pres. Advisory committee, cocktails 6pm - Rickey's, dinner 7pm, meeting 8pm.
10-25 Pres. Advisory committee, cocktails and dinner 6pm, Faculty club
10-26 9AM,Serra House, report on LOTS, pres. advisory committee
LOTS Advisory committee, 4:15pm, Serra house
11-02 Massy 1:30
11-03 Noon, Department meeting. Report on LOTS by REG, Bio 175
11-04 Lunch at Behavioral center
11-10 III board and Technical Committee, Boston
11-12 10:30 am Todorovich, John Searle 642-3173.
Robert Sasseen, 408-294-2282.
DISPLAY Committee 4:15
11-15 4:00 Vaughn Pratt
11-16 Knuth lunch
Lots Advisory Board 4:15 SCRDT, didn't happen.
11-22 2pm Barbara Partee
11-23 12:15 University computer facilities
LOTS Advisory Bd., 4:15 , SCRDT
11-29 12 noon lunch w/Partee there
11-30 1:30, Faculty meeting, polya 204.
12-03 Paul Siegler, his place
12-06 2pm Ted Nelson, 652-8080, MISSED IT!!
12-06 Davis, two weeks
12-08 Brian Josephson, 11am
12-09 Last class, 2:45 pm design review on cart. room 576 eng., MISSED IT
Lunch at faculty club for reviewers
12-10 10:30 Zadeh
12-13 12 noon lunch w/Partee there
2pm, Sidney Sternberg, 876-9076
12-14 LOTS Advisory Board, 4:15 SCRDT 105.
12-22 2:00pm Massy with REG
12-27 11am Wadler
12-31 Deadline for philosophy colloquium manuscript.
1977
01-04 Tuesday, Faculty meeting 2:30pm polya 204 - MISSED IT!!
01-07 Friday, Philosophy Colloquium, 4:15 Paul Humphreys
01-10 2PM, Louis Marti
01-11 Tuesday, 8:30-10:30, MaryLou Allen, women in science in
engineering, Ass't dir. television network. 73617.
4:15, LOTS Advisory Board, 105 SCRDT
8:30 Loebner
01-13 2PM 956-7070, peter blicher 841-2564
01-17 Channel 7 home terminal.
01-18 Martin Davis
01-19 12:00 Computer facilities committee
01-24 3pm, Steve Schilller 321-2884
01-27 Computer Forum, lunch, gold lounge, faculty club 12:15
Session II, 450 Durand,1:30-3:00
01-29 III, L.A. consulting
01-31 1pm, Pressburger
02-01 Tue. 12noon, CS Faculty brown bag discussion, polya 204
11am, Paul Martin, Dean of Eng. and Applied Science., Harvard
02-02 Wed. 11am, REG at LOTS, 1:30pm, Massy w/Gorin
02-03 Thurs. 4pm Suppes on Mental Qualities,cancelled
02-04 Fri. LOTS Advisory Board, 4:15, SCRDT 105
02-08 Dinner with Davises, Berkeley
02-12 Dinner with Miller, Knuth,...
02-14 CCF, Noon, Polya 152
02-15 Martin Davis, will borrow terminal., Commonwealth Self-sufficiency
02-17 Thurs. 12noon, Faculty club, AAAS discussion group
02-18 Fri. 3:30, Massy
02-20 to 2-25 AAAS, Denver
02-21 proposal drafts
02-22 Tue. Tenured Faculty meeting, 2:30 in Polya 204,iii tech comm instead.
02-23 Massy and Dicken's, 2:00,iii board instead
02-24 NSF, Kent Curtis, Luckham, Winograd, Chowning,
also 25th. McCluskey Feigenbaum
Pentti Kanerva orals
02-25 iii, didn't go
02-28 Edwards 10:30, Waltuch, 11:30
03-01 Computer Faire Dialnet paper, Les will do it
10:15 Miller with Feigenbaum
2:30 Faculty meeting
03-02 Zohar's class, abstract syntax - didn't do it.
03-03 AAAS discussion group, noon faculty club, Drell
03-04 ARPA Washington
Pasta Washington
LOTS advisory board, 4:15, scrdt room 105 - MISSED IT
03-09 2:15 Massy and Dickens
03-10 2:15 to 3:00, piano mover presentation, MISSED IT
noon Emergency Faculty, 215 Polya, CANCELLED
03-11 1:30 Massy
4:15 LOTS advisory board
03-14 Manuscript for IJCAI to be reviewed.
03-15 1pm Marshall Buck
03-17 3:00 -3:40, Schlumberger group, Ed Laak
03-21 9am, Dr. Paris
10am Miller
03-24 Martin Davis
03-27 SUNDAY
03-28 3:45, 204 Polya
Nilsson seminar, Towards a general theory of pattern recognition
03-29 First class of Spring Quarter, Tuesday
CSD Colloquium, Representing recursive programs in first order logic
03-30 dinner home, Ralph on electronic mail
12:30 LOTS, Educom man
3pm Polya AI faculty
04-01 4:15, LOTS wonders of time-sharing
04-03 SUNDAY
04-04 1:30 Ron Crane, dialnet, 497-1089
04-07 Bill Chester, tax 1:30pm
4:15 seminar with reg scrdt room 204
04-08 Friday noon, lunch with Miller, faculty club
04-10 SUNDAY
04-11 11am, EE Executive Committee, 241 McCullough
04-12 10am Dean Kays room 271, 2:15 Wagner orals Serra house
04-13 4:15pm, Lieberman
04-14 Yes to a meeting on Wagner thesis. Thursday 4:30?
04-04 2:45, Binford and Chern
04-15 Deadline for 1000 word abstract, workshp on automatic deduction.
*****AAAS meeting 6:45pm, Behavioral Sciences Center
Themes in Adult Development - Erik Erikson, $20 paid
04-16 17th Computer Faire, Dialnet paper.
04-17 SUNDAY, 11am-8am PA124 to London
04-18 10:35am BA to Warsaw, MAL xxx to Leningrad
04-17 till 04-23, MI9, Leningrad
04-21 Tonge seminar, UCI. data flow and reduction languages
04-24 SUNDAY
05-01 SUNDAY
05-04 UCLA, Panel on Alien and A. I. with Sturgeon, Pournelle and Niven
05-08 SUNDAY
05-11 Miller and Gorin, 10:00
05-14 AI Qual, 9:30 am, Polya 204
05-15 SUNDAY
05-16 12 noon, Full Dept meeting, Law School 290
05-17 2pm, Bill Skane, 652-8026 home, 642-5558
05-19 9:30am, Foreign Press
05-22 SUNDAY
05-23 Stewart Wecker of D.E.C.,9:30am from Holiday Inn,617-897-5111x4366
Liebermann, Miller, REG in Miller's office, 1:45pm.
05-24 and 5-25 III technical committee and board
05-29 SUNDAY
05-31 Financing of research, cs colloquium
06-03 3pm Black Friday
Bulnes Juan
Filman Robert E
Goad Christopher
Moravec Hans
Pattis Richard E
Wagner Todd
Wilkins David
BROOKS, MARTIN pass area qualifying exam
BULNES, JUAN thesis advisor, thesis topic, reading
committee, evidence of progress towards
completion of thesis
FARMWALD, PAUL advisor, pass area qualifying exam
MORAVEC, HANS reading committee, evidence of progress towards
completion of thesis
06-05 SUNDAY
06-06 2pm JAB and LES Dialnet
06-07 2 p.m. Tuesday,Bledsoe lecture, 237 Digital Systems Lab
06-08 Last day of exam week
06-09 Washington NLCPI and 6-10
06-12 SUNDAY
06-15 Final manuscript for IJCAI.
06-19 SUNDAY
06-26 SUNDAY
06-27 take in Mazda
07-03 SUNDAY
07-10 SUNDAY
07-13 10:30, Fred Wilhelm, new D.E.C. products
07-14 12:30, lunch with Juilland, faculty club
07-17 SUNDAY
07-18 10:30 rt. at 1st intersection off STeve. Creek onto Bubb rd. Dean Brown
Zilog
07-19 Tues. 1:15, 111 mitchell, Wagner oral
07-20 Wed. 1:30, Miller, with REG regarding status of LOTS
07-24 SUNDAY
07-25 10am chez hurd mail w/ralph
07-27 Lindgren 2pm
07-31 SUNDAY
08-07 SUNDAY
08-12 Friday 11am, Gorin and Hurd
08-14 SUNDAY
08-15 1pm, Suppes, 2:30pm, Paula Apsell of Nova, 4pm who?
08-17 Workshop on Automatic Deduction, Aug 17-19, M.I.T.
III Board, Boston.
08-21 SUNDAY
08-22 IJCAI, Aug. 22-25
08-28 SUNDAY
08-30 1:30 pm Soviet delegation, Bobrow is contact
08-31 KQED interview
09-04 SUNDAY
09-11 SUNDAY
09-13 9:45 Hurd to visit Noyce
09-14 11:55am, Lunch with Lindzey and Lederberg
09-16 2:45 Swedish parliamentarians
09-18 SUNDAY
09-19 to 27 sept. U. Texas, 4 lectures
09-25 SUNDAY
09-30 1:30 ERL 237, LOTS usage
10-01 EE party, Linvills', 30 Holden Court, Portola Valley, 4:30 - 6:30
10-02 SUNDAY
10-03 III technical committee
10-04 2:30 pm, Polya 204, Tenured faculty meeting., CANCELLED
10-05 LOTS meeting, 4:15pm, Room 222, Terman Building
10-06 Terman Dedication
10-09 SUNDAY
10-12 SIGMA XI lecture, U.C. San Diego
10-16 SUNDAY
meeting October 16-18.
The LOTS presentation will be Tuesday morning
Durand 450 8:30 - 9:15.
10-19 Bay Area Circle, 4pm, UCBerkeley, Room 60, Evans Hall.
dinner afterwards, 6 pm, King Tsin, 1699 Solano Avenue.
10-19 Calfee 12:00 faculty club, editing proposal
2pm John Merrill, Defense Investigative service 739-0328
10-20 4pm decision procedure for S*, Richard Stark, Math S. Jose state
11-21 Richard 11am
10-23 SUNDAY
10-24 Susan Cohen, 10am, 941-4813, San Jose Mercury
10-25 Briabrin et. al., 9:30
Hogan 3:30pm home, cancelled
10-26 Nova, will call before, 617 492-2777 x430, 581-1631 home
11-01 LOTS Advisory Terman 222, 4:15 Tues
11-03 Thursday, dinner at Feigenbaum's with Simon
11-04 Anti-nuclear play, 7:30 White Plaza
11-04 3pm, okee
11-06 Sunday
11-07 6pm, Dinner with Feigenbaum and Col. Russell, faculty club
Elizabeth Kays, Monday afternoon
11-10 Thursday, 12:00 AAAS luncheon
, Kresge 7:30pm, Commonner and Ellsberg
meeting with Ellen Nold, Calfee, and Sara Freedman 2:30 pm Terman 204.
11-15 Schwartz talk, 4:15
11-16 iii board, Tan-tan at Louis's
11-17 10 am Max Mathews, Prim, Fraser, from Bell Labs
11-18 10am Hearn, 801 581-8224 early thurs. eve.,LLL afternoon
11-20 Sunday
12:00 Ralph at Faculty Club to discuss LOTS budget
2:15 oral exam in psychology
11-21 4 pm LOTS budget,
11-22 4:15 C.S. Colloquium
11-27 Sunday
11-28 Pendray, 3pm chez Hurd
11am Amarel
11-29 4pm Sirbu from M.I.T. to discuss Dialnet
11-30 Fred Wilhelm, contact Dave Olsen
12-02 11:30 Hsi Nam, Hurd and Loebner flu
3 pm, Department Meeting, Dinkelspiel
3:30pm, Knuth inauguration, Dinkelspiel
12-03 9am,ll,1pm,Brooks,Goad,Polak - Logic qual flu
12-03 Modesto Sigma Xi, Walter Krudop 209 545-761,San Joaquin Valley
Shell development. dinner meeting on Saturday. Sci basis
12-04 Sunday
12-05 3:05 Richard Galant, Newsday, personal computing, paint Newsday gullible
12-08 AAAS luncheon, Natalie Zemon Davis, Center for Advanced Study
12-11 Fri. 4:15pm, H and S Chairmen, Bldg. 170 Lang room
12-10 9am,ll,1pm,Brooks,Goad,Polak - Logic qual
12-11 Sunday
12-12 10am, Telesensory systems 3408 Hillview, with Panofsky
9am Hurd
12-15 7pm 206 exam
12-16 9:45am flight to Mexico
12-18 Sunday
12-25 Sunday
12-28 Dinner with Schwartzes and Backus
1978
01-01 Sunday
01-03 Faculty meeting, 3pm, Polya 204
01-04 Wed. regist.
2pm Fujitsu, Hurd here 1pm, Okai
01-05 Thurs. 1st class, UGLY 144
1:30 Adams and Gorin
01-08 Sunday
01-09 4pm AI Lab, AI Lab. Colloquium, Filman
01-10 1:15 A and P committee 204 Polya
01-16 more blood!!
01-19 Thursday 3:30pm physical exam, Menlo Clinic
1:15 A&P
noon Umtech, Wolf exit Central expwy, L. on Evelyn=2n light, L. into bldg
complex
01-20 4:30pm, 204 Polya, Senior faculty
01-23 monday 4:15 Lots advisory 222 Terman
01-25 11:45, Hart at SRI
12:30 Faculty club Susie
2pm Feigenbaum, Binford, Levinthal (polya 252)
01-26 6pm, Rickey's Ryal Poppa and Hurd
01-28 2pm meeting with Milner
01-30 2:45-3:15 meeting with Lieberman, Building 10
Topic: Absences from campus while on grants
4pm AI Lab, meeting with Sandra Blakeslee to get article toned down
01-31 9:00 to 11:00 Senior Faculty meeting, Polya rm. 204
12:30 Faculty Club with McCluskey
3:15 Polya 111, Harel talk
02-02 9:00 computer forum, Tressider room 282
12:15 forum lunch, Tressider room 281
afternoon, Kreisel
6:00pm coctails, 7:00pm dinner, Forum banquet,
Rickey's Rose Room
02-03 9:00 computer forum Tressider room 282
12:15 lunch, Tressider room 281
02-06 4:30pm, American Studies room, 2nd floor Lou Henry Hoover, Uwe
Parpart, Fusion Energy Foundation, missed it.
02-13 9:00 to 10:30 Computer Committee, Deans office
3pm chez Linvill
4:30 Waltuch
02-14 10am, Calfee, Education Room 1 (with Nold and Freedman).
12:30 Levinthal
1:15 Gray Tuesday
3:30 Herrero, ITT Deputy director Europe
02-15 Pertec with Hurd, leave home 6:15, planes 7am and 1:30
02-16 Sacerdoti on Noah, lunch after, needs projector
02-17 8:25 to approx 9am, Jeff Byers, WOR Radio interview on Quasar.
2:00pm Cudhea, alumni magazine
02-21 Tuesday,12:15 Lederberg and Lindzey, there
466 4:20 ARR 5:15 22 FEB 463 4:20 TO 5:15
Pacifica hotel
02-22 III board, wednesday, also 05-24, 08-16, and 11-15
02-23 lunch Teller and Levinthal
02-28 SENSE meeting here
03-01 Statistics seminar - circumscription induction Ventura 4:15
dinner Dean Kays, 7pm 852 Pine Hill
03-06 10am Mayfield Fund, 2200 Sand Hill Rd., Tommy Davis
03-07 3pm Davis and Hurd, my house
03-12 SUNDAY
03-14 12:30 204 Polya, sr. Faculty CSD
03-16 2pm, Thursday, waltuch
03-19 SUNDAY
03-21 1:30, Appointments and Promotion mtg (re:Lenat), Polya 204
03-21 7-10 pm, final exam
Event of WED 22-Mar-78
Louie's is re-opening as "The Little Restaurant", 1140 University Drive, Menlo Park
on March 22. Hours 5-9pm. For opening night, let Louie know you're coming.
323-6540.
03-24 2pm Arens, Yigal, 524-8447 leave message
03-26 SUNDAY
03-27 1:30pm S-1 meeting
We have set up a meeting for 1:30pm, Monday, March 27, in my office
I have a conflict, but I could meet at 4pm if it were out here.
03-27 thru 31 Hewitt in town
To: JMC, wiederhold at SUMEX-AIM
Meeting will be Thursday March 30 at 10am in my office, 214 Polya.
03-31 Collier's Encyclopedia article
04-02 SUNDAY
04-03 registration, Spring quarter
04-07 thrue 04-09, interdisciplinary symposium on language, mind and brain
gainesville florida, u. of fla.
04-09 SUNDAY
04-12 3:30pm in session on AI theory,
to 04-14 "Treatment of patterns in mathematical logic"
paper by April 1 if to be included in proceedings. One page
abstract solicited. panel after talk
04-14 tentatively Bell Labs
04-16 SUNDAY
04-18 2pm, Lieberman, Adams and Gorin, Lieberman's office
04-23 SUNDAY
04-24 2:15 Jim Meindl
VERIFICATION GROUP SYSTEM MEETING TUESDAY 25TH APRIL,2:30 erl 237
04-25 1:15 senior faculty, 2:15 Faculty meeting, both Polya 152
04-27 curriculum, 2:30, 204 Polya
04-28 Pat, call previous week to confirm, psa 463, 4:20-5:15 to San Jose
04-30 SUNDAY
05-01 9:30 Hurd, AI Lab
05-02 Jarvis, Singer, Dunphey's noon
101 and San Mateo, Hurd's at 11am
05-03 2PM dileep divekar, 7-1934
05-05 noon, lunch with Lindsey, Suppes, Lederberg, CASBS
11am Filotti, message with Manuel Blum
2:15, faculty meeting, polya 152
05-07 SUNDAY
05-08 noon -Lunch with Hurd at faculty club
Your lecture on "Formal Methods for Representing Knowledge" is scheduled for
Tuesday, May 9 at 11:00. (If there is any problem please let me or Ed know.)
05-10 Berkeley colloquium + dinner "Circumscription - a way for computers
to jump to conclusions
05-11 AAAS luncheon, Faculty club
Waltuch 2pm
3:45 pm, 420-041, Hart panel on future of AI
05-12 State University, Northridge, may 5 alternate, 213 885-3541 George
Dunne. Fixed for may 12.
05-16 4:15 Weyhrauch at math colloquium
05-18 History of AI in Feigenbaum course
8pm Symposium on "Appropriate Science" with Ehrlich and Harmon
contact = Bruce Rittmann 7-0315
05-20 Hurd, 9am
Soft Energy paths, 9am Tressider 270
05-22 Dale Gieringer, 11am, EATKELP
here til July 31, anti-regulation libertarians, EES, Ron Howard is anti-gov't
Gerry Sauer decision analysis, Bill Linvill environmentalist liberal market
oriented,
1pm Telephone with Shuey chez Hurd
2pm faculty meeting 204 Polya
05-23 Amy Pinkerton, will call first
05-24 III board
lunch with Bauer, Golub, 7-3124
1:30 faculty polya 204
05-30 LOTS Advisory Board, 3:15 Terman 222
progress, report,user constraints, fall quarter constraints
5:55pm on psa on Wednesday
06-01 2:30-5:30pm History of programming languages conference
(after Perlis and Naur on Algol), Hyatt House hotel, L.A. airport
informal recept. Wed may 31 7:10pm, June 1-3 whole conf.
670-9000
06-06 Stu Wecker, 984-0200, Peter Raulerson, wednesday
10am Lieberman
06-09 Lerner meeting 8pm+dinner, 4:30 CSD meeting
06-12 4pm, logic search committee, Ventura
06-13 2:15, faculty meeting, polya 204
06-14 Dutch university people Delft with Raulerson, DEC and IBM
Oak Tree 10am
06-20 5:30pm, Faculty Club, Lederberg reception
06-23 9am, 204 Polya, Computer facilities meeting
06-25 SUNDAY
06-29 thurs, modal logic seminar, 4pm ERL 228
07-02 SUNDAY
07-05 PASCAL, 11-12 DSL conference room
Nancy Cartwright, Causal Powers
07-09 SUNDAY, Susie's wedding
07-12 Wednesday noon Faculty club, Teller
07-15 Jim King party, 1062 Mercedes, Los Altos, 948-6615
07-16 SUNDAY
07-18 Congressional briefing, Washington
Morris Pripstein, LBL
07-19 Mrs. Shcharansky welcome 12:30 Press Club San Francisco
07-21 1:30 SRI Bldg 30 J1018, Avra Cohn high level correctness proofs
07-23 SUNDAY
07-27 thurs. dinner at Susie's 7:30pm
07-30 SUNDAY
08-01 2:30 Greg Nelson on proving programs with pointers, ERL 237
SUNDAY
08-06 thru 9th Conference in Israel, home computer, Gerald Estrin
08-13 SUNDAY
08-16 III board
08-20 SUNDAY
08-23 thru Aug 26,meetin in Kyoto, 28-30 WG 2.2
08-27 SUNDAY
09-03 SUNDAY
09-10 SUNDAY
Monday 10::30 Pete Allen at LOTS
09-14 USF lecture, 11:10-noon, George Ledin, 402 Harney Science Center
09-15 lunch with Nilsson
09-22 3pm Andy Schor, 368-6973
09-24 SUNDAY
09-25 and 26th "Computer vision and Sensor-Based Robots" General
Motors Technical Center, Warren Michigan
09-25 and 26 Stanford registration
09-29 noon, Faculty meeting on department quality, 204 Polya
09-30 new student reception at Herriot's, 11am-1pm
1302 Channing
10-01 6pm, Michie dinner chez Feigenbaum
10-02 Phil Hiltz, 2pm (tentative)
Ann Beetem 2pm
10-03 10am, Lieberman, LOTS future
4:15 Scott seminar
10-11 4:15 Logic Search, Ventura
10-08 SUNDAY
10-19 Thursday 2:45-4 lecture in new students orientation
Barwise seminar at 7:30 in Philosophy lounge
10-25 2pm (tentative), Dr. Earnest Ambler, Nat'l Bureau of Standards, topic AI
Linville suggested he talk to you
Wednesday Lang Room 7-9pm, Administrative computing
10-28 Saturday, 8:30 pm, Lenat costume party
1752 Selig Lane, Los Altos, 965-1228
11-02 Instructional computing
11-06 dinner with rabin
11-07 2:30 Faculty meeting
11-09 Thursday 1:30, Nilsson at SRI
11-14 Logic search
11-15 III board, Boston
11-17 Phil Hilts, tentative
11-18 Saturday, non-monotonic symposium
11-21 9am, LOTS at Lieberman's office
11-24-27 Ershov, ask Feig to invite to talk about joint work
Gramercy Park Hotel, maybe c/o Potossin
11-27 Administrative computing, 7-9pm
11-28 and 29, Real time symbolic computation, M.I.T. Tues and Wed
12-02 and 12-03 U. Mass. workshop on indefinite reference
12-05 1:15 or 2:15 Bulnes exam
12-06 dinner with Zohar
12-08 friday, 10am Pfeffer
12-09 and 10. Skiing with Sarah
12-14 Thursday, 4:15 Logic search
1:15 642-6035, c/o Scott thereafter Ann Yasuhara
12-18 10 am Annie
12-20 8pm reserved for slide show, 36 Berenda, 854-4306
12-21 thu 9:30, Lieberman, Gorin, Feigenbaum
12-22 3:15 Waltuch
1979
01-04 4:15 Logic Search
01-05 2:30 Jose Maria Diaz-Rabaco, Univ. of Santiago
3:45 Dr. Taggart, aviation physical
01-07 10:30am brunch with Kirks
01-08 5:30 pm, Jane Robinson and Chomsky lecture
01-10 7-10, Research computing, Lang Room of President's office
01-11 Chomsky lecture 4:15, 6pm faculty club, Chomsky reception
01-15 10:30 Filman oral, Serra house
12:45 lunch with Feferman, front of math bldg
3pm Brucker
7pm Suppes dinner for Chomsky
01-18 and 19 th. and fri. III technical committee
01-25 3:30pm, Vera's safety deposit box with County Treasurer, Mr. Cressio
or Mr. Mitchell at FNB San Jose at Monterey and Cottle branch
call bank in advance to be sure we will be admitted
01-26 2pm, Mark Thomas Clifton, high school student, 493-6228
02-03 Jim Richardson is 40
02-05 Monday 9:30 Mazda
3pm Sandelin and Kanerva
02-09 theater with Susie and Dan
02-10 Patte birthday, chez Hersche
1pm Fran lunch, c/o Mary Berman 566-6374
02-14 2:30 Tom's steering committee
10:30 Mazda
11-12 Lieberman's office, LOTS future
02-15 2:45 jThursday, Waltuch
6pm dinner, 7pm seminar room Florence Moore off main lounge
Fred Crawford
02-17 and 18 and 19, skiing
off 80 at Mace, 2nd L on Manzanita, past stop, turns and changes name
1st L on Buckeye, 1417 is 1st on R, green house
02-20 Panofsky at Bechtel lunch, buy ticket in advance
How is Tuesday, Feb 20, 9am-11am for steering
02-21 Wednesday, U.C. Santa Barbara, dinner, Proving Correctness of
Recursive Programs, Arthur Pyster, 805 961-3236, dept
of EE and CS, ACM dinner meeting
III board, Sabina Saib, general research, 805 964-7724
02-23 7:30 Fred and Beatrice Crawford party
7:30 859 Cedro
02-25 3pm Blasgen party
10:30 photograph
02-26 IBM people 1:30
4pm, Bob Moore
02-27 10am, 111 Polya, IBM 4300 briefing
03-01 Scott at class, 2:30 meeting on AI courses
03-02 Faculty meeting, Polya 204 4pm
Feigenbaum dinner
03-03 Saturday, conference on Energy - the ethical issues
reserve by Feb 26. Immanuel Lutheran Church, 1710 Moorpark, San Jose
9am - 4pm, (415) 862-2331, (408)997-3032, (408)238-0507
03-05 3:30 Physical
03-09 Friday, Filotti, Baskett potluck 6pm
03-10 and 03-11 U. Mass workshop, didn't go!!
03-12 Tsing Hua U. visitors 1:30
Tang Ze Sheng, head of electronics dept
computers and automation
Jin Lan, computer architecture, parallel and distrib. graphics
Li San Li, assoc. micro-processor, best English
Lu Kai Cheng, discrete math and applied computation theory
Zheng Ren Jie, Computer software engineering
03-13 7pm faculty club, Linvill + Tsing Hua
03-16 1pm Ketonen
03-17 or 18 running with Alphonse
03-20 11am xxx, 1130 Doug West on gossip problem
1:30 Denny
03-21 Jack Tar Hotel, Energy and Ideology
Ray Kendall (703)892-2500, or home 931-5106, sub for Teller
to Spokane on 21st
03-22 North Idaho College, Ruth Alben speaker's service, 550
return 23rd
03-26 11am Okner tax
Okner, Norman 327-1160 2600 El Camino
03-30 Jeff Ullman 1:30pm, Polya
03-31 Moore party
2:30 LOTS with internal audit
04-02 2:45 Dean Rosse, Building 1, re: Dept. chairmanship
04-11 10:30 wednesday rosse, bldg 1
04-13 1pm Chowning
2pm internal audit for LOTS usage here
04-20 Friday 2:15, 450 Durand, oral in AE
8pm Opera (Curran Theatre, SF)
04-21 Noon Lunch at Wiederholds
04-23 1:30 Gordon Goldstein, ONR, Holiday Inn
04-25 1pm Faculty Meeting, Serra house
04-30 2pm faculty meeting
05-01 CS Colloquium, Elephant
05-03 Carlson at ARPA, 9am, 5 people
05-08 Wednesday, 10:30 IBM San Jose, Elephant, 256-7593
Abstract to John Williams, IBM research, K52-282,
5600 Cottle Road, san Jose 95193 (missed it).
05-10 Blikle, 12 noon, Owicki first 642-6655
1pm meeting with Ed about move
05-14 Subject: Faculty meeting on Monday, May 14, 3:30 room 252
05-16 Wednesday, Wilkins oral, 2:15 pm, Jacks 252
05-18 noon lunch with Meehan
ā09-May-79 1643 PLS Potluck
Date: Sunday, May 20th.
Time: 4.00 p.m. (or earlier if you like)
Place: My new house - alias Richard Waldinger's - alias 1033 Bryant St.
(between Addison and Lincoln), Palo Alto.
Phone: 327-0457
dinner with Chinese
When: May 20, Sunday. 6:00 p.m.
Where: 10H, Quillen. Mr.Tang's room.
4:15 Jarett orals, Skilling 193
05-21 Monday, Math club, Gunn, 106 Green Meadow off Alma S of Charleston
493-6228, 6pm
05-22 2:30 ERL 237, Oppen seminar
11am, Stanford Motor Inn, Mary Elson, 312 222-4551
4:15 Colloquium, Bill Miller
05-25 Western 5:27 reno-sf arriving 7:09
12:15 lunch CASBS Moore, Lindzey, Trainer
05-29 7pm, Rickey's dinner with Heidi Baldus, Tuesday
Digital Press, (617)275-5000x2006
05-30 Wednesday, Bob Englemore, ARPA
05-31 10am Thursday, III board meeting
2pm okner
4pm Paul Kaufman
06-01 5pm Baskett and Feigenbaum
06-07 thursday, aiqual
Committee 3: McCarthy, Buchanan, Goldstein
10:30 Russ Greiner 1:00 Kevin Karplus
06-08 noon here, meeting with damagee, 6pm Tresidder
06-08 Corky comes
06-11 11am Monday, Dr. Waltuch
06-12 Tuesday, Pamela McCorduck, 2pm, didn't happen
06-13 Wednesday 6pm, Laura fox, coffee house, 329-1284
06-14 birthday, thursday
10:30 Corky and Derek
06-18 Martin Davis
06-21 Ming's noon, Caltech lunch, Hugh Dubb 421-2674
Todorovich, evening meeting, 212 391 2396
06-23 Saturday, 10am, dr. Paris
06-26 tuesday, 3pm Dastek
06-30 tentative dinner with Jane R., co-op at her house
07-02 hearing in SF
4pm Bob Grant
07-04 Bob McClay, KXRX 8:30pm to 11pm, 101 to McKee rd Julian st exit
1st right on wooster .3 mile to end into parking lot, curves around
Eggo waffle factory. 279-1738 575-1500 talk show
922-7234 home.
07-05 dinner, Corky and Derek
07-06 4pm, Dr. Targgart
07-11 to 13 Edinburgh conference
9-13 Course in VLSI, R. Dutton, AEL 204, x74138
07-16 to 8-17 IBM Yorktown Heights
08-xx third Wednesday, III board, boston, DIDN'T GO
08-20 to 8-23 IJCAI, Tokyo, DIDN'T GO
09-16 09-22 Algorithm symposium in Uzbekistan, DIDN'T GO
10-27 CANCELLED afternoon, lecture at conference on "Science for a Humane World"
after Daniel Bell and Paul Saltman at The Center for New Thinking,
Wayne State University. Ruth Alben Speakers Service $700.
09-15 2:30pm, 150 checkout, Dan Rom
09-16 Behavioral Sciences Fellows reception
09-19 Behavioral Sciences Fellows orientation
09-20 meeting with Lindzey, 11am
09-21 ALL SET FOR FRIDAY AT 2:00, RM 402, JACKS., Brooks talk
10-05 11am MJH displays
10-09 Yue, mjh
10-10 wednesday 1:30pm Dale Geiringer
10-11 San Luis Obispo symposium
arrive Sunday, oct 14 leave sunday oct 28
10-23 symposium in Haifa, Joe Raviv, Technion
week or two previous in Israel
10-30 M.I.T. distinguished lecture, 1:30pm or 2pm, lunch, LCS
talked to Marsha Baker
10-31 Award trophies at ACM in Detroit
11-05 Don Gennery orals
Tue. Nov. 6 2000 Guarneri @ Dink
11-07 Elephant at IBM, Wed 10am, owe abstract 256-7593
Fri. Nov. 9 2000 Guarneri @ Dink
Sun. Nov. 11 1430 Guarneri @ Dink
11-13 Lieberman, Gorin, McCarthy, Devaney 10:00am.
call to confirm Anna Maria at 73904
11-14 III board meeting, Chicago (please call Doris Hyde 213-390-8611)
11-19 Monday, U. of Indiana, Filman
11-30 friday at 2:15, Martin Brooks orals
12-11 tuesday, 2pm, Creary
12-13 11:15am Waltuch appointment
12-14 friday, noon faculty club, Sandelin and Bair, word processing
12-16 4pm, Foonly viewing
12-20 thursday 7:30am Thallium scan
12-25 AA602 SFO-Mexico City 1:15pm 8:45pm
12-31 AA554f Mexico City-SFO 8:30am 12:55
WE723 SFO-Seattle 2:15pm 3:55
01-02 UA275 Seattle-SFO 4:00pm 5:43
01-04 Friday 2pm Creary
tax man, estate 9am
01-09 noon, Ketonen lunch
01-10 11 III technical committee meeting
lunch 11:45, talk 1pm, 2-3 page outline month in advance
01-11? Formalization of Occam's razor, UCLA, Judah Pearl, 213 825-3243
Michael D. Intriligator, 213 825-4144
Jacob Marschak Interdisciplinary Colloquium on Mathematics in
the Behavioral Sciences
01-12 Saturday, Segovia in S.F. maybe
01-14 Monday 2pm Creary
dinner Jane Robinson
01-16 Wednesday, Jon Doyle, lunch plus seminar at 1:30
01-17 Eliashberg lunch 493-4000 x2544
Thu. Jan. 17 2000 Joffrey Ballet (Memaud)
01-21 monday, SE2 chez Connolly
01-23 lunch, Bloom, et.al. faculty club
1:30 TANG
2:30 aiphil group
01-24 2:30, Grinnell
01-25 2:00 Creary
01-28 2:30 aiphil, the frame problem. I half promised a writeup.
01-29 tuesday noon, lunch Bloom, course
1:30pm, mjh, Grinnell (John Metzler and Michael Kaplan)
01-30 Lecture: Social Opportunities from Computer Technology
01-31 Chern 2pm
02-01 2:30 more on frame problem
4:15 Eliasberg
02-04 8pm, Kresge, Quine "The mind and its place in nature"
9am telephone
02-05 tuesday, 4pm, meeting with Flexer on displays
02-07 and 8 Thur and Fri Computer Forum
lunch with Bloom
3:00 Cheeseman, mjh
4:15 Quine, From ostension to quantification
5:30, Tanner Library, reception for Quine
02-08 call Teller 422-4171
230 Sandelin in Cedar with REG
noon, lunch with Barwise
1pm more frame problem
02-11 4:15 Quine The forked animal
and 12, Chandra and Cadiou
02-13 Wed. Quine What is it all about?
02-14 Quine at CASBS
dinner 7:30pm,monday feb 18,george washington university club,
marvin center,3rd floor, 800 21st st. nw.
02-19 NAS computer science research panel, 9:30 am, Mr. J.F. Blackburn
executive director, computer science and technology board
202 632-2841
02-20 iii l.a.
02-21 Caltech lunch at Ming's
02-22 friday, 10am, Teller with Walter Levy. I pick up Levy at CASBS.
12:15 lunch with Bloom
03-25 3:30 Dean Ross, Feigenbaum, CSD matters, 1st floor bldg 1
02-26 10am, Karl Cohen
3pm Ma Xiwen
02-28 9:45am, Computers: Opportunities in technology, San Francisco
women's club, Goethe room, Academy of Sci. Bldg. Golden Gate
Park, right from Lincoln way on 9th st. into park. Parking
exists, ask escort or guard. through lunch. Excuse to
Carolyn Manning, alumni assoc.
02-28 2:30 Thurs. ERL 237, Brian K. Reid, Carnegie-Mellon University
Scribe: A High-level Approach to Document Production
evening SE2
02-29 Booz Allen presentation on telephone system
1 to 3, Law School room 190
3:30pm Lieberman, LOTS
03-04 9am Jerry's towing, 326-3430
10 Barwise class
2pm, nsf, chez Feigenbaum
03-05 wed 10am, Goad orals, mjh 252
12:30 Waltuch
03-06 3pm Frances Larson, secretary candidate
03-10 Monday. lunch with Lindzey, Suppes and Dennett
03-12 Wednesday 2:30 Moravec orals, 402 mjh
03-14 lunch with Bloom
3pm Feigenbaum and Scott
03-17 Monday, dinner with Milton Katz, 6:30 at CASBS, Amer. Acad.
lunch with Fodor
3:30 meeting chez Cohen, SE2
03-18 Bakersfield, nuclear colloquium
Rio Brava Lodge, 805 226-2200, 7:30 pm
1pm, Spirit of Palo Alto, checkout
03-21 lunch with bloom and science associates
2pm Tang and Ma
3:10pm pick up Sloman, 7pm dinner at Dan's
03-23 Sunday to 3-26, AI and philosophy meeting
03-26 Wednesday to 3-28, Office Automation Conference
11am Wednesday, title to Jim Bair of BNR 494-3942x690 this week
march 15, readable outline or draft, march 20 copy for slides,
wants 35mm. (his preferred title: If the computer works, people
will use it, experience at Stanford, why people do and don't use
the computer, no AI soon). What about "The real computer revolution".
BAIR@SUMEX
03-31 Monday, Englemore of ARPA
04-01 Tuesday noon, Palo Alto Club, Edward Ginzton,
567 Melville corner Webster
493-4000x2203
04-11 Pan Am 124 to London, 5:25 pm
04-13 15 Collective phenomena - Moscow.
04-19 return British Air 287, leave London 3:30pm, arr SFO 5:15pm
travel with Alan Nixon
04-14 Monday, 4:15, Terman 153, Balzhiser, synthetic fuels
04-21 Basic and applied research in computers, Washington
04-23 to 25, Case western Reserve, Michie tenth Machine intelligence
workshop, either approximate theories or non-monotonic reasoning.
04-23 Deadline for FOCS, 8 copies of detailed abstract to Andrew Yao
including comparison with extant work and significance of major
results.
04-29 Tues 11am Okner tax
05-01 8pm SE2 chez moi
05-06 US-China Program. Faculty Club, Red Lounge, 4:30-5:45.
05-20 2:30 Waldinger program verification
05-21 iii boston
05-22 4:15 on Thursday Kreisel in JAX 252.
05-23 Lecture on FORMALIZED NON-MONOTONIC REASONING, 2:30, Room 301,JAX
05-25 2pm Foothill, AIPHIL picnic
05-27 Tues 10am Okner
05-30 Lunch with Binford and Cannon, l2 noon
9:30 Dennett and Lindzey
06-09 Meeting with Cannon. Durand 250, l:l5 p.m.
06-11 and 12 iii, wed and thurs
06-12 thurs dinner with Pournelle and Niven
06-13 10am, meet Bloom here
06-16 to 18 SE2 conference
06-l8 Meet with Julia Doane in your office, l:30 to 2 p.m. (7-4988)
06-30 Meeting at Prof. Cannon's office, ll a.m.
Mazda
06-30 monday, 11am, Cannon, his office
07-07 text for LISP conference talk to John Allen
07-09 noon, lunch with Cate
07-11 11am Friday, Bloom and Watt, hydrogen
07-28 Sarah LAX-Gatwick, Laker flt 2 8:30pm to 3:10pm
return flt 1 Aug 25 3:15 to 6:30, $50 for change or cancel
08-05 Tues 9:30, bookcase visit
3pm Giant file meeting
08-05 Letter sent to Al Fenaughty
08-07 Thursday, lunch Bloom
08-08 Moszkowski
10:30 Grant chez lui
08-15 Friday 1pm to 3pm Sunday Monterey Dunes Workshop on Formal
Methods in AI. Bob Moore
08-17 -22, AI Conference, Stanford
2pm Richard Solomon
3pm Richard Weyhrauch
08-18 4pm, Friedl and Feigenbaum, chez Feigenbaum
AI Journal board, 7:30am Tressider
08-20 iii l.a.
ai and philosophy panel
08-21 6:30 dinner chez Suppes
08-24 6:00 p.m., Barbecue, Alumni Association
dinner chez Kays
08-24 08-27 Sunday-Wednesday, keynote speech at LISP conference on Monday
08-25 08-28, Managing the Computer Potential
08-25 Sarah return
08-28 lisp conf. party, chez allen
also final dinner chez Kays
Luncheon, Allen and Earnest at Holiday Inn, ll:45 a.m. M.C. for occasion
08-29 final lecture for program for middle and upper management
on computers $240, Marian Player, 7-2021, 11:15-12:30
09-01 deadline for sending Reiter recommendation
dinner 6 happiness, 6:30
09-02 tuesday 2pm, Boyer here msg.msg[1,jmc]/236p
09-04 11 ONR here
09-12 Lunch, Faculty Club, noon
Appointment with Pat Worley, PhD student. 3 p.m. in office
09-19 UBC
09-27 Saturday, lunch with Zohar, Amir and Carolyn
09-30 Tuesday, 2:30 p.m. Faculty Meeting, Jacks 252
10-02 380X, 9:30 to 10:45, CS206
10-02 thursday 2pm, Landwehr, carl, nrl wash,200 767-3381+ barrett
jaycor, alexandria, 703 823-1300
10-04 sat, lunch for students at herriot
10-09 Seminar, 4:15, Room 301, Jacks Hall
lunch Bloom
10-10 Reservations at Town and Country Motel for Oct. l0 and ll. Sigma Xi.
10-11 Saturday 1:15, Sigma Xi
09-30 5000 words to Jerry Pournelle, The Survival of Freedom - Fawcett
6 cents per word. On Oct. 13, he bought it.
10-14 Tuesday, 12:15, lunch with Bloom, SE2 on nuclear for CA
4:15 Feferman
4:15 Ron Howard
10-15 Wed. SE2, 8pm, Connolly, nuclear for CA
11am Richard Solomon
10-l6 Wm. Stockton, NY Times, noon, (212 556 7l41)
2:45pm CS200, mathematical logic and artificial intelligence
4:15 Bob Moore, be sure of transparency projector
10-17 fri, lunch with Miro, Bunzel and Lipsett, about Dennan
10-21 tues, lunch, se2
10-23 thurs Doyle at TINlunch SRI
computer facilities committee, 3PM in 220 MJ
10-24 Fri, noon, Michael Moritz, Time Magazine lunch, 213 273-1530
10-27 or 10-31 Honeywell, Phoenix. Management Seminar, Barbara Kuklewicz
602 866-2730, Human Res. Devel. Office
10-29 wed, se2 chez connolly
10-30 thurs Alan Meyrowitz, ONR, 1pm, 202 696-4312 301 423-5868
11-03 energy seminar - extreme conservation measures in
an oil cutoff emergency
Monday, 4:15
12:15 faculty club, se2
11-04 Tenured faculty, 2pm, mjh 252. regrets to csd.jeanie%score
11-05 Wed. 12:15 lunch with Nils. Reservations made.
11-06 thurs CIS executive committee
11-07 12:15 lunch with Dantzig. Reservations made.
11-09 sunday 4pm, Scott Kim, cs206 exam
11-08 Waiting list for Monday Luncheon, Faculty Club. Kenneth Arrow to speak.
11-11 AAAS stated meeting, Kennedy on regulation
Faculty club
Reception, 6 p.m., Dinner 6:45, Speech, 8 p.m. Reservation made.
11-13 Faculty Club, Zohar Manna, 12:15. Reservations made
1:30 Thompson CSF, Vasseur
11-14 Friday, 4pm, 493-7410, Sarah boots
11-19 iii l.a.
11-20 Boyer at SRI 2pm Thurs
11-21 Friday, 11am, NYT photographer
11-24 Monday 12, chemistry gazebo, editing
11-25 tues, se2 chez Connolly 8pm
12-01 Boyer
12-02 8pm, Anscombe, human specialty
12-03 wed, 2:15, computer facilities, room 220
12 noon, lunch, Ceras, CIT, Task Force on computing
12-04 4:15, jordan 040, Murder
5:30, tanner lib, reception
ll a.m, CIS meeting. McCullough 240
12-04 thurs, 8:30pm, Tversky, skilling aud
12-05 fri 12:15, bloom, faculty club
12-06 saturday, 8p, Darden party, 991 lincoln, 323-6637
12-08 Darden seminar and dinner
friday noon, lunch with Moore, etc. at SRI
12-12 St. Lucey day party, Diffie's 8p
12-17 wed 11:30, lunch with Susan Newman of Cummings publishing
12-18 Thursday, Dec. 18, 10:00 AM in room 301 MJH okay? Comprehensive
12-19 ll a.m. CIS meeting, 326 McCullough Bldg., Lunch.
12-15 deadline for abstract to Reiter for philosophy conference
12 24 1pm, Greenberger chez moi
01-06 tues, 11am, 380F, first class cs226
Tuesday, January 6, 1981, 2:30 p.m., Jacks 252, faculty meeting
01-07 Wed 4pm, Commonwealth club, long range robots
Donald L. Sweeney, Studwell Associates,
110 Sutter St. - Suite 1008, SF 94104
391-9991, needs biography and outline
01-08 AI prize committee, noon, Henry's Room at the Top
01-09 11am, Okner, chez lui
12:30 Bloom at Faculty club
NEXT MEETING: Monday, 12 JANUARY at 10:30 AM in 301 MJH.
01-12 monday 2pm, Daily Telegraph, Adrian Berry,
Ian Brodie, w coast corr. 213 455-1358
01-13 3:30pm HP,show and tell
01-14 2p comprehensive
energy advocacy conference
01-16 fri 9:30 Lindstrom, noon lunch Bloom, 2pm Comp. Clarkson
01-19 monday, Vicenti, values, technology and society, fac. club lunch
01-20 Tuesday, 2:30 Pnueli
01-21 lunch with Susie, 1pm
1981
12:30 lunch with Elliott
01-27 CSD Colloquium
01-28 CIS Committee, McCullough 240, 12:15
01-29 thursday, noon, faculty club
Paul Berg, Michael Steele, Donald Iglehart OR, Jack Herriott,
James Ross, H and S dean's office.
01-30 noon thru Sunday Feb 1 pm, Pournelle space conference, chez Larry
Niven Reservations Chalet Lodge, Jan. 30 and 3l.
02-02 Monday, logic seminar, 4:15 - 5:30, title: Non-monotonic reasoning
02-13 Friday, 9am meeting with ARPA on consolidation of funding, 252
02-15 sunday, 4pm-6pm, Chinese Lantern Festival, chinese consulate
1450 Laguna, St., SF, Geary st. entrance, Hu Dingyi consul general
563-1718 for regrets
02-25 Wed, iii, la,
03-01 IJCAI 81 submission date, max 6000 words or 1200 words
3 copies, topics under which review is wanted
100-250 word abstract
03-03 Tuesday, Ray Reiter,
Towards a logical reconstruction of database theory.
04-05 Sunday Seminar, home of Bob Wagoner, afternoon. Speak.
The most likely dates for VERkshop II appear to be 21-23 April,
Tues-Thurs, probably in the DC area. Steve is currently negotiating
04-27 to 05-01, Peniscola Spain, WG 2.2
reply to Eric Neuhold or E.K. Blum
04-27 deadline for 3000 to 6000 word paper for conference on
functional programming languages and architecture + 300
word abstract. Brochure in conference file.
05-01 May, Marseille University, Colmerauer
topics: minimal interpretations, conceptual logic or my choice
05-06 7 and 8, M.I.T. Physics of oomputation, Fredkin
05-20 wed, iii boston
06-15 camera ready copy IJCAI
07-09 or 10 lecture in John Allen's lisp course
08 ijcai- 1 week, philosophy and ai in Vancouver
ijcai
08-19 iii, boston
09-28 IBM Germany symposium on office information, promised CBCL
Juergen Reetz
09-30 Wed. Start of classes
10-18 to 22, New Hampshire conf on functional programming languages
and computer architecture. Brochure in conference file.
11-18 wed, iii la